/**
 * @file
 * @author dousha
 * @date 2020
 */

#ifndef KERNEL_H
#define KERNEL_H

#include "../boilerplate/types.h"

extern void kernel_init();

extern void kernel_loop() __attribute__((noreturn));

extern bool kernel_is_in_svc();

#endif
